Adjoint functors - PDFSEARCH.IO - Document Search Engine

Adjoint functors
Results: 460

#	Item
51	Presketches: Algebra without algebras via categories without functors Vaughan Pratt Stanford University April 2010 Abstract Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2010-04-08 06:04:04 Mathematics Category theory Algebra Functors Sheaf theory Adjoint functors Topos Topos theory Equivalence of categories Sheaf Natural transformation Subcategory
52	Adjoint functors and tree duality Jan Foniok ETH Zurich, Institute for Operations Research R¨ amistrasse 101, 8092 Zurich, Switzerland Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:37
53	A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:48 Category theory Models of computation Adjoint functors Functional programming Logic in computer science Denotational semantics Lambda calculus Cartesian closed category Sheaf F-algebra Kleisli category Monad
54	PDF Document Add to Reading List Source URL: fritzo.org Language: English - Date: 2014-06-13 18:57:34 Computer programming Adjoint functors Software engineering Mathematical analysis Markov processes Probability theory Monad Probability distribution Kleisli category Markov chain Probability Monoidal monad
55	HOPF CATEGORIES E. BATISTA, S. CAENEPEEL, AND J. VERCRUYSSE Abstract. We introduce Hopf categories enriched over braided monoidal categories. The notion is linked to several recently developed notions in Hopf algebra the Add to Reading List Source URL: homepages.vub.ac.be Language: English - Date: 2015-03-18 11:01:38 Monoidal categories Functor Natural transformation Hopf algebra Morphism Adjoint functors Coproduct Grothendieck topology Product Category theory Abstract algebra Algebra
56	Relating Computational Eﬀects by >>-Lifting Shin-ya Katsumata Research Institute for Mathematical Sciences Kyoto University, Kyoto, , Japan Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2011-11-07 10:18:24 Category theory Adjoint functors Model theory Semigroup theory Algebraic structures Monoid Monad Symbol Parity of a permutation Mathematics Abstract algebra Algebra
57	Coproducts of Monads on Set Jiˇr´ı Ad´amek, Stefan Milius Nathan Bowler Paul B. Levy Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-06-05 09:36:57 Algebra Abstract algebra Monad Coproduct Universal property Limit Monoidal categories Adjoint functors Category theory Functional programming
58	Preorders on Monads and Coalgebraic Simulations Shin-ya Katsumata and Tetsuya Sato Research Institute for Mathematical Sciences, Kyoto University, Kyoto, , Japan {sinya,satoutet}@kurims.kyoto-u.ac.jp Abstract. W Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2013-03-26 18:38:51 Mathematics Topology Functional programming Monad Preorder Grothendieck topology Kleisli category Alexandrov topology Adjoint functors Category theory Order theory
59	arXiv:submitmath.AG] 19 FebAbsolute algebra and Segal’s Gamma sets Alain Connes and Caterina Consani Abstract We show that the basic categorical concept of an s-algebra as derived from the theory Add to Reading List Source URL: www.alainconnes.org Language: English - Date: 2015-02-21 08:57:02 Functor Adjoint functors Sheaf Initial and terminal objects Valuation Category of abelian groups Grothendieck topology Coproduct Tensor product Abstract algebra Algebra Category theory
60	Exponentiable functors between quantaloid-enriched categories Maria Manuel Clementino∗, Dirk Hofmann† and Isar Stubbe‡ July 3, 2007§ Abstract. Exponentiable functors between quantaloid-enriched categories are Add to Reading List Source URL: www-lmpa.univ-littoral.fr Language: English - Date: 2009-12-14 11:58:39 Adjoint functors Functor Universal property Limit Sheaf Equivalence of categories Initial and terminal objects Monad Complete Heyting algebra Abstract algebra Category theory Mathematics

UPDATE